/*
  S.M.A.C.K - An operating system kernel
  Copyright (C) 2010,2011 Mattias Holm and Kristian Rietveld
  For licensing and a full list of authors of the kernel, see the files
  COPYING and AUTHORS.
*/

#ifndef KERNEL_STDIO_H
#define KERNEL_STDIO_H

#include <stddef.h>
#include <stdarg.h>

void putchar     (char c);
void puts        (const char *s);
void putp        (const void *p);

int  printf      (const char * restrict format, ...);

int  snprintf    (char *str, size_t size, const char * restrict format, ...);
int  vsnprintf   (char *str, size_t size, const char * restrict format, va_list ap);


#endif /* ! KERNEL_STDIO_H */
